BeliefUpdates:
  { true } Received( X ) { received(X) }
  { true } Answer( X ) { answer(X) }

Plans:
  { @exampleEnv(sumOfList([1,2,3,4,5,6,7,8,9,10]),SUM1); 
	  Answer(SUM1);
		@exampleEnv(sumOfList([a,b,c]),SUM2)
	}

PC-rules:
  event(myevent(X),exampleEnv) <- true | Received(X)

PR-rules:
  @exampleEnv(sumOfList(X),R) <- true | @exampleEnv(say(oops),S)
